One step to satisfy the actually growing desires to simplify the exploration and installation
of jEdit's capabilities could be this:
1. An additional "Package" tab in Plugin Manager provides a list of available plugin
sets of two types:
a, Maintained, from Plugin Central or elsewhere
b, User created, from a given local directory
2. When one of these plugin sets is activated, Plugin Manager should automatically:
a. Load / unload plugins that are already installed
b. Download and install the remaining plugins
Submitted | rschwenn - 2010-02-17 - 21:51:17z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | Plugin manager |
Status | Open | Group | None |
Resolution | None | Visibility | No |